Ces structures constituent une extension des structures automatiques pour des ensembles ayant la puissance du continu. Elles possèdent les mêmes propriétés de décidabilité au premier ordre que ces dernières.et références Trouvé sur https://fr.wikipedia.org/wiki/Structure_oméga-automatique
Aucun résultat n’a été trouvé dans l’encyclopédie.
Ces structures constituent une extension des structures automatiques pour des ensembles ayant la puissance du continu. Elles possèdent les mêmes propriétés de décidabilité au premier ordre que ces dernières.et références